Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
| 2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier |
| Autore | Cori, René |
| Pubbl/distr/stampa | Oxford, : Oxford University, 2001 |
| Descrizione fisica | XX, 331 p. : ill. ; 24 cm. |
| Altri autori (Persone) | Lascar, Daniel |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
| ISBN | 978-01-985005-0-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0021140 |
Cori, René
|
||
| Oxford, : Oxford University, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
| 2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier |
| Autore | Cori, René |
| Pubbl/distr/stampa | Oxford, : Oxford University, 2001 |
| Descrizione fisica | XX, 331 p. : ill. ; 24 cm |
| Altri autori (Persone) | Lascar, Daniel |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03C07 - Basic properties of first-order languages and structures [MSC 2020] 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] |
| ISBN | 978-01-985005-0-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0021140 |
|
Cori, René
|
||
| Oxford, : Oxford University, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Foundations of the Theory of Parthood : A Study of Mereology / Andrzej Pietruszczak ; Translated by Matthew Carmody
| Foundations of the Theory of Parthood : A Study of Mereology / Andrzej Pietruszczak ; Translated by Matthew Carmody |
| Autore | Pietruszczak, Andrzej |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xxiii, 285 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] |
| Soggetto non controllato |
Bounded axioms of mereological sum
Existentially neutral theories of parthood Foundations of Mereology Grzegorczyk lattices Grzegorczyk mereology Leśniewski mereology Mereological Sum Existence Axioms Mereological fusion Mereological sum Mereology Mereology and Boolean algebras Non-transitive theories of parthood Supplementation principles in mereology Transitivity of Parthood Weak Systems of Mereology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249176 |
|
Pietruszczak, Andrzej
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Infinitary Combinatorics and the Axiom of Determinateness / Eugene M. Kleinberg
| Infinitary Combinatorics and the Axiom of Determinateness / Eugene M. Kleinberg |
| Autore | Kleinberg, Eugene M. |
| Pubbl/distr/stampa | Berlin, : Springer, 1977 |
| Descrizione fisica | v, 150 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
05A17 - Combinatorial aspects of partitions of integers [MSC 2020] 03E55 - Large cardinals [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] |
| Soggetto non controllato |
Cardinal numbers
Certainty axiom Combinatorics Partition |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260380 |
|
Kleinberg, Eugene M.
|
||
| Berlin, : Springer, 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák
| Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák |
| Autore | Pudlák, Pavel |
| Pubbl/distr/stampa | Cham, : Springer, 2013 |
| Descrizione fisica | xiv, 695 p. : ill. ; 24 cm |
| Soggetto topico |
03F20 - Complexity of proofs [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Algorithmic complexity Complexity of Proofs Computational complexity Foundations of mathematics Incompleteness theorems Mathematical logic Set-Theoretical Foundations |
| ISBN | 978-33-19-00118-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0273604 |
|
Pudlák, Pavel
|
||
| Cham, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton
| Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
| Autore | Lightstone, Albert H. |
| Pubbl/distr/stampa | New York, : Plenum, 1978 |
| Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 03B05 - Classical propositional logic [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268201 |
|
Lightstone, Albert H.
|
||
| New York, : Plenum, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Modern mathematical logic / Joseph Mileti
| Modern mathematical logic / Joseph Mileti |
| Autore | Mileti, Joseph |
| Pubbl/distr/stampa | Cambridge, : Cambridg university, 2023 |
| Descrizione fisica | xiv, 502 p. : ill. ; 27 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Categories and Sets
Logic Mathematics Philosophy |
| ISBN | 978-11-08-83314-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0273596 |
|
Mileti, Joseph
|
||
| Cambridge, : Cambridg university, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set theory : with an introduction to real point sets / Abhijit Dasgupta
| Set theory : with an introduction to real point sets / Abhijit Dasgupta |
| Autore | Dasgupta, Abhijit |
| Pubbl/distr/stampa | New York, : Birkhauser ; Springer, 2014 |
| Descrizione fisica | XV, 444 p. : ill. ; 24 cm |
| Soggetto topico |
03E55 - Large cardinals [MSC 2020]
03E60 - Determinacy principles [MSC 2020] 03E15 - Descriptive set theory [MSC 2020] 54H05 - Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 28A05 - Classes of sets (Borel fields, $\sigma$-rings, etc.), measurable sets, Suslin sets, analytic sets [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] 03E75 - Applications of set theory [MSC 2020] 03E02 - Partition relations [MSC 2020] 03E04 - Ordered sets and their cofinalities; pcf theory [MSC 2020] |
| Soggetto non controllato |
Cantor's Theorem
Dedekind's Theorem Order, cardinals, and ordinals Set Theory Zermelo-Fraenkel axiom system |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0102824 |
|
Dasgupta, Abhijit
|
||
| New York, : Birkhauser ; Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set theory : with an introduction to real point sets / Abhijit Dasgupta
| Set theory : with an introduction to real point sets / Abhijit Dasgupta |
| Autore | Dasgupta, Abhijit |
| Edizione | [New York : Birkhauser] |
| Pubbl/distr/stampa | XV, 444 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
03E55 - Large cardinals [MSC 2020]
03E60 - Determinacy principles [MSC 2020] 03E15 - Descriptive set theory [MSC 2020] 54H05 - Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 28A05 - Classes of sets (Borel fields, $\sigma$-rings, etc.), measurable sets, Suslin sets, analytic sets [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] 03E75 - Applications of set theory [MSC 2020] 03E02 - Partition relations [MSC 2020] 03E04 - Ordered sets and their cofinalities; pcf theory [MSC 2020] |
| ISBN | 8-1-4614-8853-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0102824 |
|
Dasgupta, Abhijit
|
||
| XV, 444 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Set theory : Centre de Recerca Matemàtica Barcelona, 2003-2004 / Joan Bagaria, Stevo Todorcevic eds
| Set theory : Centre de Recerca Matemàtica Barcelona, 2003-2004 / Joan Bagaria, Stevo Todorcevic eds |
| Pubbl/distr/stampa | Basel, : Birkhäuser, 2006 |
| Descrizione fisica | VII, 406 p. ; 24 cm. |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03E55 - Large cardinals [MSC 2020] 03E35 - Consistency and independence results [MSC 2020] 03E15 - Descriptive set theory [MSC 2020] 03E50 - Continuum hypothesis and Martin's axiom [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03E05 - Other combinatorial set theory [MSC 2020] 03E75 - Applications of set theory [MSC 2020] |
| ISBN | 37-643-7691-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0059022 |
| Basel, : Birkhäuser, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
